home *** CD-ROM | disk | FTP | other *** search
open in: 
MacOS 8.1
|
Win98
|
DOS
browse contents |
view JSON data
|
view as text
This file was processed as: LaTeX Document
(document/latex).
| Confidence | Program | Detection | Match Type | Support
|
|---|
| 100%
| dexvert
| LaTeX Document (document/latex)
| magic
| Supported |
| 1%
| dexvert
| MultiMate Document (document/multiMate)
| ext
| Unsupported |
| 1%
| dexvert
| WANG Integrated Word Processor (document/wangIWP)
| ext
| Unsupported |
| 1%
| dexvert
| Excellence! Document (document/excellenceDocument)
| ext
| Unsupported |
| 1%
| dexvert
| IBM DisplayWrite Document (document/ibmDisplayWriteDocument)
| ext
| Unsupported |
| 1%
| dexvert
| Text File (text/txt)
| fallback
| Supported |
| 100%
| file
| LaTeX 2e document text
| default
| |
| 99%
| file
| LaTeX document text
| default
| |
| 98%
| file
| LaTeX document, ASCII text
| default
| |
| 100%
| TrID
| LaTeX 2e document
| default
| |
| 100%
| checkBytes
| Printable ASCII
| default
| |
| 100%
| perlTextCheck
| Likely Text (Perl)
| default
| |
| 100%
| detectItEasy
| Format: plain text[LF]
| default (weak)
|
|
hex view+--------+-------------------------+-------------------------+--------+--------+
|00000000| 5c 64 6f 63 75 6d 65 6e | 74 63 6c 61 73 73 5b 31 |\documen|tclass[1|
|00000010| 31 70 74 2c 74 77 6f 73 | 69 64 65 5d 7b 72 65 70 |1pt,twos|ide]{rep|
|00000020| 6f 72 74 7d 0a 5c 75 73 | 65 70 61 63 6b 61 67 65 |ort}.\us|epackage|
|00000030| 7b 70 6c 7d 0a 5c 75 73 | 65 70 61 63 6b 61 67 65 |{pl}.\us|epackage|
|00000040| 7b 68 74 6d 6c 7d 0a 25 | 5c 6f 6e 65 66 69 6c 65 |{html}.%|\onefile|
|00000050| 0a 5c 73 6c 6f 70 70 79 | 0a 5c 6d 61 6b 65 69 6e |.\sloppy|.\makein|
|00000060| 64 65 78 0a 0a 5c 75 73 | 65 70 61 63 6b 61 67 65 |dex..\us|epackage|
|00000070| 7b 74 69 6d 65 73 7d 0a | 5c 75 73 65 70 61 63 6b |{times}.|\usepack|
|00000080| 61 67 65 7b 66 61 6e 63 | 79 68 65 61 64 69 6e 67 |age{fanc|yheading|
|00000090| 73 7d 0a 5c 72 65 6e 65 | 77 63 6f 6d 6d 61 6e 64 |s}.\rene|wcommand|
|000000a0| 7b 5c 72 75 6e 6e 69 6e | 67 74 69 74 6c 65 7d 7b |{\runnin|gtitle}{|
|000000b0| 53 57 49 2d 50 72 6f 6c | 6f 67 20 5c 76 65 72 73 |SWI-Prol|og \vers|
|000000c0| 69 6f 6e 73 68 6f 72 74 | 7b 7d 20 52 65 66 65 72 |ionshort|{} Refer|
|000000d0| 65 6e 63 65 20 4d 61 6e | 75 61 6c 7d 0a 5c 68 65 |ence Man|ual}.\he|
|000000e0| 61 64 68 65 69 67 68 74 | 20 31 34 70 74 0a 5c 72 |adheight| 14pt.\r|
|000000f0| 65 6e 65 77 63 6f 6d 6d | 61 6e 64 7b 5c 63 68 61 |enewcomm|and{\cha|
|00000100| 70 74 65 72 6d 61 72 6b | 7d 5b 31 5d 7b 5c 6d 61 |ptermark|}[1]{\ma|
|00000110| 72 6b 62 6f 74 68 7b 23 | 31 7d 7b 23 31 7d 7d 20 |rkboth{#|1}{#1}} |
|00000120| 25 20 72 65 6d 65 6d 62 | 65 72 20 63 68 61 70 74 |% rememb|er chapt|
|00000130| 65 72 20 74 69 74 6c 65 | 0a 5c 72 65 6e 65 77 63 |er title|.\renewc|
|00000140| 6f 6d 6d 61 6e 64 7b 5c | 73 65 63 74 69 6f 6e 6d |ommand{\|sectionm|
|00000150| 61 72 6b 7d 5b 31 5d 7b | 5c 6d 61 72 6b 72 69 67 |ark}[1]{|\markrig|
|00000160| 68 74 7b 5c 74 68 65 73 | 65 63 74 69 6f 6e 5c 20 |ht{\thes|ection\ |
|00000170| 23 31 7d 7d 0a 20 20 20 | 20 20 20 20 20 20 20 20 |#1}}. | |
|00000180| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|00000190| 20 20 20 20 20 20 20 20 | 20 20 20 20 20 20 20 20 | | |
|000001a0| 20 20 20 20 20 25 20 73 | 65 63 74 69 6f 6e 20 6e | % s|ection n|
|000001b0| 75 6d 62 65 72 20 61 6e | 64 20 74 69 74 6c 65 0a |umber an|d title.|
|000001c0| 5c 6c 68 65 61 64 5b 5c | 66 61 6e 63 79 70 6c 61 |\lhead[\|fancypla|
|000001d0| 69 6e 7b 7d 7b 5c 62 66 | 5c 74 68 65 70 61 67 65 |in{}{\bf|\thepage|
|000001e0| 7d 5d 7b 5c 66 61 6e 63 | 79 70 6c 61 69 6e 7b 7d |}]{\fanc|yplain{}|
|000001f0| 7b 5c 62 66 5c 72 69 67 | 68 74 6d 61 72 6b 7d 7d |{\bf\rig|htmark}}|
|00000200| 0a 5c 72 68 65 61 64 5b | 5c 66 61 6e 63 79 70 6c |.\rhead[|\fancypl|
|00000210| 61 69 6e 7b 7d 7b 5c 62 | 66 5c 6c 65 66 74 6d 61 |ain{}{\b|f\leftma|
|00000220| 72 6b 7d 5d 7b 5c 66 61 | 6e 63 79 70 6c 61 69 6e |rk}]{\fa|ncyplain|
|00000230| 7b 7d 7b 5c 62 66 5c 74 | 68 65 70 61 67 65 7d 7d |{}{\bf\t|hepage}}|
|00000240| 0a 5c 66 6f 6f 74 72 75 | 6c 65 77 69 64 74 68 20 |.\footru|lewidth |
|00000250| 30 2e 32 70 74 0a 5c 6c | 66 6f 6f 74 5b 5c 74 69 |0.2pt.\l|foot[\ti|
|00000260| 6e 79 20 5c 72 75 6e 6e | 69 6e 67 74 69 74 6c 65 |ny \runn|ingtitle|
|00000270| 5d 7b 7d 0a 5c 72 66 6f | 6f 74 5b 5d 7b 5c 74 69 |]{}.\rfo|ot[]{\ti|
|00000280| 6e 79 20 5c 72 75 6e 6e | 69 6e 67 74 69 74 6c 65 |ny \runn|ingtitle|
|00000290| 7d 0a 5c 63 66 6f 6f 74 | 7b 7d 0a 5c 70 61 67 65 |}.\cfoot|{}.\page|
|000002a0| 73 74 79 6c 65 7b 66 61 | 6e 63 79 70 6c 61 69 6e |style{fa|ncyplain|
|000002b0| 7d 0a 0a 5c 6e 65 77 63 | 6f 6d 6d 61 6e 64 7b 5c |}..\newc|ommand{\|
|000002c0| 76 6d 61 6a 6f 72 7d 7b | 32 7d 0a 5c 6e 65 77 63 |vmajor}{|2}.\newc|
|000002d0| 6f 6d 6d 61 6e 64 7b 5c | 76 6d 69 6e 6f 72 7d 7b |ommand{\|vminor}{|
|000002e0| 39 7d 0a 5c 6e 65 77 63 | 6f 6d 6d 61 6e 64 7b 5c |9}.\newc|ommand{\|
|000002f0| 76 70 61 74 63 68 7d 7b | 39 7d 0a 5c 6e 65 77 63 |vpatch}{|9}.\newc|
|00000300| 6f 6d 6d 61 6e 64 7b 5c | 76 6d 6f 6e 74 68 7d 7b |ommand{\|vmonth}{|
|00000310| 4d 61 72 63 68 7d 0a 5c | 6e 65 77 63 6f 6d 6d 61 |March}.\|newcomma|
|00000320| 6e 64 7b 5c 76 79 65 61 | 72 7d 7b 31 39 39 38 7d |nd{\vyea|r}{1998}|
|00000330| 0a 0a 5c 6e 65 77 63 6f | 6d 6d 61 6e 64 7b 5c 76 |..\newco|mmand{\v|
|00000340| 65 72 73 69 6f 6e 73 68 | 6f 72 74 7d 7b 5c 76 6d |ersionsh|ort}{\vm|
|00000350| 61 6a 6f 72 2e 5c 76 6d | 69 6e 6f 72 7d 0a 5c 6e |ajor.\vm|inor}.\n|
|00000360| 65 77 63 6f 6d 6d 61 6e | 64 7b 5c 76 65 72 73 69 |ewcomman|d{\versi|
|00000370| 6f 6e 6c 6f 6e 67 7d 7b | 5c 76 6d 61 6a 6f 72 2e |onlong}{|\vmajor.|
|00000380| 5c 76 6d 69 6e 6f 72 2e | 5c 76 70 61 74 63 68 2c |\vminor.|\vpatch,|
|00000390| 20 5c 76 6d 6f 6e 74 68 | 7e 5c 76 79 65 61 72 7d | \vmonth|~\vyear}|
|000003a0| 0a 5c 72 65 6e 65 77 63 | 6f 6d 6d 61 6e 64 7b 5c |.\renewc|ommand{\|
|000003b0| 61 72 61 62 69 63 64 61 | 79 7d 7b 5c 76 65 72 73 |arabicda|y}{\vers|
|000003c0| 69 6f 6e 73 68 6f 72 74 | 7d 0a 0a 5c 74 69 74 6c |ionshort|}..\titl|
|000003d0| 65 7b 53 57 49 2d 50 72 | 6f 6c 6f 67 20 52 65 66 |e{SWI-Pr|olog Ref|
|000003e0| 65 72 65 6e 63 65 20 4d | 61 6e 75 61 6c 7d 0a 5c |erence M|anual}.\|
|000003f0| 61 75 74 68 6f 72 7b 5c | 65 6d 61 69 6c 5b 4a 61 |author{\|email[Ja|
|00000400| 6e 20 57 69 65 6c 65 6d | 61 6b 65 72 5d 7b 6a 61 |n Wielem|aker]{ja|
|00000410| 6e 40 73 77 69 2e 70 73 | 79 2e 75 76 61 2e 6e 6c |n@swi.ps|y.uva.nl|
|00000420| 7d 09 5c 5c 20 0a 09 44 | 65 70 74 2e 20 6f 66 20 |}.\\ ..D|ept. of |
|00000430| 53 6f 63 69 61 6c 20 53 | 63 69 65 6e 63 65 20 49 |Social S|cience I|
|00000440| 6e 66 6f 72 6d 61 74 69 | 63 73 20 28 53 57 49 29 |nformati|cs (SWI)|
|00000450| 09 5c 5c 20 0a 09 20 20 | 20 20 52 6f 65 74 65 72 |.\\ .. | Roeter|
|00000460| 73 74 72 61 61 74 20 31 | 35 2c 20 31 30 31 38 20 |straat 1|5, 1018 |
|00000470| 57 42 7e 7e 41 6d 73 74 | 65 72 64 61 6d 09 09 5c |WB~~Amst|erdam..\|
|00000480| 5c 20 0a 09 09 20 20 20 | 20 54 68 65 20 4e 65 74 |\ ... | The Net|
|00000490| 68 65 72 6c 61 6e 64 73 | 09 09 09 5c 5c 20 0a 09 |herlands|...\\ ..|
|000004a0| 09 54 65 6c 2e 20 28 2b | 33 31 29 20 32 30 20 35 |.Tel. (+|31) 20 5|
|000004b0| 32 35 36 31 32 31 7d 0a | 09 0a 5c 62 65 67 69 6e |256121}.|..\begin|
|000004c0| 7b 68 74 6d 6c 6f 6e 6c | 79 7d 0a 5c 6d 61 6b 65 |{htmlonl|y}.\make|
|000004d0| 74 69 74 6c 65 0a 0a 5c | 62 65 67 69 6e 7b 61 62 |title..\|begin{ab|
|000004e0| 73 74 72 61 63 74 7d 0a | 53 57 49 2d 50 72 6f 6c |stract}.|SWI-Prol|
|000004f0| 6f 67 20 69 73 20 61 20 | 50 72 6f 6c 6f 67 20 69 |og is a |Prolog i|
|00000500| 6d 70 6c 65 6d 65 6e 74 | 61 74 69 6f 6e 20 62 61 |mplement|ation ba|
|00000510| 73 65 64 20 6f 6e 20 61 | 20 73 75 62 73 65 74 20 |sed on a| subset |
|00000520| 6f 66 20 74 68 65 20 57 | 41 4d 0a 28 57 61 72 72 |of the W|AM.(Warr|
|00000530| 65 6e 20 41 62 73 74 72 | 61 63 74 20 4d 61 63 68 |en Abstr|act Mach|
|00000540| 69 6e 65 20 5c 63 69 74 | 65 7b 57 61 72 72 65 6e |ine \cit|e{Warren|
|00000550| 3a 38 33 62 7d 29 2e 20 | 53 57 49 2d 50 72 6f 6c |:83b}). |SWI-Prol|
|00000560| 6f 67 20 68 61 73 20 62 | 65 65 6e 0a 64 65 73 69 |og has b|een.desi|
|00000570| 67 6e 65 64 20 61 6e 64 | 20 69 6d 70 6c 65 6d 65 |gned and| impleme|
|00000580| 6e 74 65 64 20 73 75 63 | 68 20 74 68 61 74 20 69 |nted suc|h that i|
|00000590| 74 20 63 61 6e 20 65 61 | 73 69 6c 79 20 62 65 20 |t can ea|sily be |
|000005a0| 6d 6f 64 69 66 69 65 64 | 20 66 6f 72 0a 65 78 70 |modified| for.exp|
|000005b0| 65 72 69 6d 65 6e 74 73 | 20 77 69 74 68 20 6c 6f |eriments| with lo|
|000005c0| 67 69 63 20 70 72 6f 67 | 72 61 6d 6d 69 6e 67 20 |gic prog|ramming |
|000005d0| 61 6e 64 20 74 68 65 20 | 72 65 6c 61 74 69 6f 6e |and the |relation|
|000005e0| 20 62 65 74 77 65 65 6e | 20 6c 6f 67 69 63 0a 70 | between| logic.p|
|000005f0| 72 6f 67 72 61 6d 6d 69 | 6e 67 20 61 6e 64 20 6f |rogrammi|ng and o|
|00000600| 74 68 65 72 20 70 72 6f | 67 72 61 6d 6d 69 6e 67 |ther pro|gramming|
|00000610| 20 70 61 72 61 64 69 67 | 6d 73 20 28 73 75 63 68 | paradig|ms (such|
|00000620| 20 61 73 20 74 68 65 20 | 6f 62 6a 65 63 74 0a 6f | as the |object.o|
|00000630| 72 69 65 6e 74 65 64 20 | 58 50 43 45 20 65 6e 76 |riented |XPCE env|
|00000640| 69 72 6f 6e 6d 65 6e 74 | 20 5c 63 69 74 65 7b 50 |ironment| \cite{P|
|00000650| 31 30 39 38 3a 43 31 2e | 36 7d 29 2e 20 20 53 57 |1098:C1.|6}). SW|
|00000660| 49 2d 50 72 6f 6c 6f 67 | 20 68 61 73 20 61 20 72 |I-Prolog| has a r|
|00000670| 69 63 68 0a 73 65 74 20 | 6f 66 20 62 75 69 6c 74 |ich.set |of built|
|00000680| 2d 69 6e 20 70 72 65 64 | 69 63 61 74 65 73 20 61 |-in pred|icates a|
|00000690| 6e 64 20 72 65 61 73 6f | 6e 61 62 6c 65 20 70 65 |nd reaso|nable pe|
|000006a0| 72 66 6f 72 6d 61 6e 63 | 65 2c 20 77 68 69 63 68 |rformanc|e, which|
|000006b0| 20 6d 61 6b 65 73 20 69 | 74 0a 70 6f 73 73 69 62 | makes i|t.possib|
|000006c0| 6c 65 20 74 6f 20 64 65 | 76 65 6c 6f 70 20 73 75 |le to de|velop su|
|000006d0| 62 73 74 61 6e 74 69 61 | 6c 20 61 70 70 6c 69 63 |bstantia|l applic|
|000006e0| 61 74 69 6f 6e 73 20 69 | 6e 20 69 74 2e 20 20 54 |ations i|n it. T|
|000006f0| 68 65 20 63 75 72 72 65 | 6e 74 0a 76 65 72 73 69 |he curre|nt.versi|
|00000700| 6f 6e 20 6f 66 66 65 72 | 73 20 61 20 6d 6f 64 75 |on offer|s a modu|
|00000710| 6c 65 20 73 79 73 74 65 | 6d 2c 20 67 61 72 62 61 |le syste|m, garba|
|00000720| 67 65 20 63 6f 6c 6c 65 | 63 74 69 6f 6e 20 61 6e |ge colle|ction an|
|00000730| 64 20 61 6e 20 69 6e 74 | 65 72 66 61 63 65 20 74 |d an int|erface t|
|00000740| 6f 0a 74 68 65 20 43 20 | 6c 61 6e 67 75 61 67 65 |o.the C |language|
|00000750| 2e 0a 0a 54 68 69 73 20 | 64 6f 63 75 6d 65 6e 74 |...This |document|
|00000760| 20 67 69 76 65 73 20 61 | 6e 20 6f 76 65 72 76 69 | gives a|n overvi|
|00000770| 65 77 20 6f 66 20 74 68 | 65 20 66 65 61 74 75 72 |ew of th|e featur|
|00000780| 65 73 2c 20 73 79 73 74 | 65 6d 20 6c 69 6d 69 74 |es, syst|em limit|
|00000790| 73 20 61 6e 64 0a 62 75 | 69 6c 74 2d 69 6e 20 70 |s and.bu|ilt-in p|
|000007a0| 72 65 64 69 63 61 74 65 | 73 2e 0a 5c 65 6e 64 7b |redicate|s..\end{|
|000007b0| 61 62 73 74 72 61 63 74 | 7d 0a 0a 43 6f 70 79 72 |abstract|}..Copyr|
|000007c0| 69 67 68 74 20 5c 63 6f | 70 79 72 69 67 68 74 5c |ight \co|pyright\|
|000007d0| 20 31 39 39 30 2d 2d 5c | 79 65 61 72 2c 20 55 6e | 1990--\|year, Un|
|000007e0| 69 76 65 72 73 69 74 79 | 20 6f 66 20 41 6d 73 74 |iversity| of Amst|
|000007f0| 65 72 64 61 6d 0a 5c 65 | 6e 64 7b 68 74 6d 6c 6f |erdam.\e|nd{htmlo|
|00000800| 6e 6c 79 7d 0a 0a 5c 62 | 65 67 69 6e 7b 64 6f 63 |nly}..\b|egin{doc|
|00000810| 75 6d 65 6e 74 7d 0a 0a | 5c 62 65 67 69 6e 7b 74 |ument}..|\begin{t|
|00000820| 69 74 6c 65 70 61 67 65 | 7d 0a 0a 5c 6e 65 77 6c |itlepage|}..\newl|
|00000830| 65 6e 67 74 68 7b 5c 75 | 76 61 77 69 64 74 68 7d |ength{\u|vawidth}|
|00000840| 0a 5c 73 65 74 74 6f 77 | 69 64 74 68 7b 5c 75 76 |.\settow|idth{\uv|
|00000850| 61 77 69 64 74 68 7d 7b | 5c 4c 41 52 47 45 20 55 |awidth}{|\LARGE U|
|00000860| 6e 69 76 65 72 73 69 74 | 79 20 6f 66 20 41 6d 73 |niversit|y of Ams|
|00000870| 74 65 72 64 61 6d 7d 0a | 0a 5c 6e 65 77 63 6f 6d |terdam}.|.\newcom|
|00000880| 6d 61 6e 64 7b 5c 75 76 | 61 61 64 64 72 65 73 73 |mand{\uv|aaddress|
|00000890| 7d 7b 25 0a 5c 70 61 72 | 62 6f 78 5b 62 5d 7b 5c |}{%.\par|box[b]{\|
|000008a0| 75 76 61 77 69 64 74 68 | 7d 7b 25 0a 20 20 20 20 |uvawidth|}{%. |
|000008b0| 5c 62 65 67 69 6e 7b 63 | 65 6e 74 65 72 7d 0a 09 |\begin{c|enter}..|
|000008c0| 5c 4c 41 52 47 45 0a 09 | 20 20 20 20 20 20 55 6e |\LARGE..| Un|
|000008d0| 69 76 65 72 73 69 74 79 | 20 6f 66 20 41 6d 73 74 |iversity| of Amst|
|000008e0| 65 72 64 61 6d 09 09 09 | 5c 5c 5b 33 6d 6d 5d 0a |erdam...|\\[3mm].|
|000008f0| 09 5c 73 6d 61 6c 6c 0a | 09 44 65 70 74 2e 20 6f |.\small.|.Dept. o|
|00000900| 66 20 53 6f 63 69 61 6c | 20 53 63 69 65 6e 63 65 |f Social| Science|
|00000910| 20 49 6e 66 6f 72 6d 61 | 74 69 63 73 20 28 53 57 | Informa|tics (SW|
|00000920| 49 29 09 5c 5c 25 0a 09 | 20 20 20 20 52 6f 65 74 |I).\\%..| Roet|
|00000930| 65 72 73 74 72 61 61 74 | 20 31 35 2c 20 31 30 31 |erstraat| 15, 101|
|00000940| 38 20 57 42 7e 7e 41 6d | 73 74 65 72 64 61 6d 09 |8 WB~~Am|sterdam.|
|00000950| 09 5c 5c 25 0a 09 09 20 | 20 20 20 54 68 65 20 4e |.\\%... | The N|
|00000960| 65 74 68 65 72 6c 61 6e | 64 73 09 09 09 5c 5c 25 |etherlan|ds...\\%|
|00000970| 0a 09 09 54 65 6c 2e 20 | 28 2b 33 31 29 20 32 30 |...Tel. |(+31) 20|
|00000980| 20 35 32 35 36 31 32 31 | 0a 20 20 20 20 5c 65 6e | 5256121|. \en|
|00000990| 64 7b 63 65 6e 74 65 72 | 7d 7d 7d 0a 0a 5c 6d 62 |d{center|}}}..\mb|
|000009a0| 6f 78 7b 7d 5c 76 73 70 | 61 63 65 7b 2d 31 69 6e |ox{}\vsp|ace{-1in|
|000009b0| 7d 0a 5c 70 61 72 62 6f | 78 7b 5c 74 65 78 74 77 |}.\parbo|x{\textw|
|000009c0| 69 64 74 68 7d 7b 25 0a | 20 20 20 20 5c 6d 61 6b |idth}{%.| \mak|
|000009d0| 65 62 6f 78 5b 5c 74 65 | 78 74 77 69 64 74 68 5d |ebox[\te|xtwidth]|
|000009e0| 7b 25 0a 09 5c 55 76 41 | 7b 31 69 6e 7d 25 0a 09 |{%..\UvA|{1in}%..|
|000009f0| 5c 68 66 69 6c 6c 25 0a | 09 5c 72 61 69 73 65 62 |\hfill%.|.\raiseb|
|00000a00| 6f 78 7b 2d 31 32 70 74 | 7d 7b 5c 75 76 61 61 64 |ox{-12pt|}{\uvaad|
|00000a10| 64 72 65 73 73 7d 0a 09 | 5c 68 66 69 6c 6c 25 0a |dress}..|\hfill%.|
|00000a20| 09 5c 53 57 49 7b 31 69 | 6e 7d 7d 0a 7d 0a 5c 76 |.\SWI{1i|n}}.}.\v|
|00000a30| 66 69 6c 5c 76 66 69 6c | 5c 76 66 69 6c 0a 5c 62 |fil\vfil|\vfil.\b|
|00000a40| 65 67 69 6e 7b 63 65 6e | 74 65 72 7d 0a 09 7b 5c |egin{cen|ter}..{\|
|00000a50| 48 75 67 65 20 5c 62 66 | 20 53 57 49 2d 50 72 6f |Huge \bf| SWI-Pro|
|00000a60| 6c 6f 67 20 5c 76 65 72 | 73 69 6f 6e 73 68 6f 72 |log \ver|sionshor|
|00000a70| 74 09 5c 5c 5b 33 6d 6d | 5d 0a 09 20 5c 4c 41 52 |t.\\[3mm|].. \LAR|
|00000a80| 47 45 20 52 65 66 65 72 | 65 6e 63 65 20 4d 61 6e |GE Refer|ence Man|
|00000a90| 75 61 6c 7d 09 09 5c 5c | 5b 33 6d 6d 5d 0a 20 20 |ual}..\\|[3mm]. |
|00000aa0| 20 20 20 20 20 20 7b 5c | 69 74 20 55 70 64 61 74 | {\|it Updat|
|00000ab0| 65 64 20 66 6f 72 20 76 | 65 72 73 69 6f 6e 20 5c |ed for v|ersion \|
|00000ac0| 76 65 72 73 69 6f 6e 6c | 6f 6e 67 7d 09 5c 5c 5b |versionl|ong}.\\[|
|00000ad0| 31 2e 35 63 6d 5d 0a 09 | 7b 5c 6c 61 72 67 65 20 |1.5cm]..|{\large |
|00000ae0| 5c 69 74 20 4a 61 6e 20 | 57 69 65 6c 65 6d 61 6b |\it Jan |Wielemak|
|00000af0| 65 72 7d 09 09 5c 5c 5b | 37 6d 6d 5d 0a 09 7b 5c |er}..\\[|7mm]..{\|
|00000b00| 6c 61 72 67 65 20 6a 61 | 6e 40 73 77 69 2e 70 73 |large ja|n@swi.ps|
|00000b10| 79 2e 75 76 61 2e 6e 6c | 7d 0a 5c 65 6e 64 7b 63 |y.uva.nl|}.\end{c|
|00000b20| 65 6e 74 65 72 7d 0a 5c | 76 66 69 6c 0a 5c 62 65 |enter}.\|vfil.\be|
|00000b30| 67 69 6e 7b 71 75 6f 74 | 65 7d 0a 53 57 49 2d 50 |gin{quot|e}.SWI-P|
|00000b40| 72 6f 6c 6f 67 20 69 73 | 20 61 20 50 72 6f 6c 6f |rolog is| a Prolo|
|00000b50| 67 20 69 6d 70 6c 65 6d | 65 6e 74 61 74 69 6f 6e |g implem|entation|
|00000b60| 20 62 61 73 65 64 20 6f | 6e 20 61 20 73 75 62 73 | based o|n a subs|
|00000b70| 65 74 20 6f 66 20 74 68 | 65 20 57 41 4d 0a 28 57 |et of th|e WAM.(W|
|00000b80| 61 72 72 65 6e 20 41 62 | 73 74 72 61 63 74 20 4d |arren Ab|stract M|
|00000b90| 61 63 68 69 6e 65 20 5c | 63 69 74 65 7b 57 61 72 |achine \|cite{War|
|00000ba0| 72 65 6e 3a 38 33 62 7d | 29 2e 20 53 57 49 2d 50 |ren:83b}|). SWI-P|
|00000bb0| 72 6f 6c 6f 67 20 68 61 | 73 20 62 65 65 6e 0a 64 |rolog ha|s been.d|
|00000bc0| 65 73 69 67 6e 65 64 20 | 61 6e 64 20 69 6d 70 6c |esigned |and impl|
|00000bd0| 65 6d 65 6e 74 65 64 20 | 73 75 63 68 20 74 68 61 |emented |such tha|
|00000be0| 74 20 69 74 20 63 61 6e | 20 65 61 73 69 6c 79 20 |t it can| easily |
|00000bf0| 62 65 20 6d 6f 64 69 66 | 69 65 64 20 66 6f 72 0a |be modif|ied for.|
|00000c00| 65 78 70 65 72 69 6d 65 | 6e 74 73 20 77 69 74 68 |experime|nts with|
|00000c10| 20 6c 6f 67 69 63 20 70 | 72 6f 67 72 61 6d 6d 69 | logic p|rogrammi|
|00000c20| 6e 67 20 61 6e 64 20 74 | 68 65 20 72 65 6c 61 74 |ng and t|he relat|
|00000c30| 69 6f 6e 20 62 65 74 77 | 65 65 6e 20 6c 6f 67 69 |ion betw|een logi|
|00000c40| 63 0a 70 72 6f 67 72 61 | 6d 6d 69 6e 67 20 61 6e |c.progra|mming an|
|00000c50| 64 20 6f 74 68 65 72 20 | 70 72 6f 67 72 61 6d 6d |d other |programm|
|00000c60| 69 6e 67 20 70 61 72 61 | 64 69 67 6d 73 20 28 73 |ing para|digms (s|
|00000c70| 75 63 68 20 61 73 20 74 | 68 65 20 6f 62 6a 65 63 |uch as t|he objec|
|00000c80| 74 0a 6f 72 69 65 6e 74 | 65 64 20 58 50 43 45 20 |t.orient|ed XPCE |
|00000c90| 65 6e 76 69 72 6f 6e 6d | 65 6e 74 20 5c 63 69 74 |environm|ent \cit|
|00000ca0| 65 7b 50 31 30 39 38 3a | 43 31 2e 36 7d 29 2e 20 |e{P1098:|C1.6}). |
|00000cb0| 20 53 57 49 2d 50 72 6f | 6c 6f 67 20 68 61 73 20 | SWI-Pro|log has |
|00000cc0| 61 20 72 69 63 68 0a 73 | 65 74 20 6f 66 20 62 75 |a rich.s|et of bu|
|00000cd0| 69 6c 74 2d 69 6e 20 70 | 72 65 64 69 63 61 74 65 |ilt-in p|redicate|
|00000ce0| 73 20 61 6e 64 20 72 65 | 61 73 6f 6e 61 62 6c 65 |s and re|asonable|
|00000cf0| 20 70 65 72 66 6f 72 6d | 61 6e 63 65 2c 20 77 68 | perform|ance, wh|
|00000d00| 69 63 68 20 6d 61 6b 65 | 73 20 69 74 0a 70 6f 73 |ich make|s it.pos|
|00000d10| 73 69 62 6c 65 20 74 6f | 20 64 65 76 65 6c 6f 70 |sible to| develop|
|00000d20| 20 73 75 62 73 74 61 6e | 74 69 61 6c 20 61 70 70 | substan|tial app|
|00000d30| 6c 69 63 61 74 69 6f 6e | 73 20 69 6e 20 69 74 2e |lication|s in it.|
|00000d40| 20 20 54 68 65 20 63 75 | 72 72 65 6e 74 0a 76 65 | The cu|rrent.ve|
|00000d50| 72 73 69 6f 6e 20 6f 66 | 66 65 72 73 20 61 20 6d |rsion of|fers a m|
|00000d60| 6f 64 75 6c 65 20 73 79 | 73 74 65 6d 2c 20 67 61 |odule sy|stem, ga|
|00000d70| 72 62 61 67 65 20 63 6f | 6c 6c 65 63 74 69 6f 6e |rbage co|llection|
|00000d80| 20 61 6e 64 20 61 6e 20 | 69 6e 74 65 72 66 61 63 | and an |interfac|
|00000d90| 65 20 74 6f 0a 74 68 65 | 20 43 20 6c 61 6e 67 75 |e to.the| C langu|
|00000da0| 61 67 65 2e 0a 0a 54 68 | 69 73 20 64 6f 63 75 6d |age...Th|is docum|
|00000db0| 65 6e 74 20 67 69 76 65 | 73 20 61 6e 20 6f 76 65 |ent give|s an ove|
|00000dc0| 72 76 69 65 77 20 6f 66 | 20 74 68 65 20 66 65 61 |rview of| the fea|
|00000dd0| 74 75 72 65 73 2c 20 73 | 79 73 74 65 6d 20 6c 69 |tures, s|ystem li|
|00000de0| 6d 69 74 73 20 61 6e 64 | 0a 62 75 69 6c 74 2d 69 |mits and|.built-i|
|00000df0| 6e 20 70 72 65 64 69 63 | 61 74 65 73 2e 0a 5c 65 |n predic|ates..\e|
|00000e00| 6e 64 7b 71 75 6f 74 65 | 7d 0a 5c 76 66 69 6c 0a |nd{quote|}.\vfil.|
|00000e10| 5c 76 66 69 6c 0a 5c 62 | 65 67 69 6e 7b 71 75 6f |\vfil.\b|egin{quo|
|00000e20| 74 65 7d 0a 43 6f 70 79 | 72 69 67 68 74 20 5c 63 |te}.Copy|right \c|
|00000e30| 6f 70 79 72 69 67 68 74 | 5c 20 31 39 39 30 2d 2d |opyright|\ 1990--|
|00000e40| 5c 76 79 65 61 72 2c 20 | 55 6e 69 76 65 72 73 69 |\vyear, |Universi|
|00000e50| 74 79 20 6f 66 20 41 6d | 73 74 65 72 64 61 6d 0a |ty of Am|sterdam.|
|00000e60| 5c 65 6e 64 7b 71 75 6f | 74 65 7d 0a 5c 73 65 74 |\end{quo|te}.\set|
|00000e70| 63 6f 75 6e 74 65 72 7b | 70 61 67 65 7d 7b 31 7d |counter{|page}{1}|
|00000e80| 0a 5c 65 6e 64 7b 74 69 | 74 6c 65 70 61 67 65 7d |.\end{ti|tlepage}|
|00000e90| 0a 0a 5c 74 61 62 6c 65 | 6f 66 63 6f 6e 74 65 6e |..\table|ofconten|
|00000ea0| 74 73 0a 0a 5c 69 6e 63 | 6c 75 64 65 7b 69 6e 74 |ts..\inc|lude{int|
|00000eb0| 72 6f 7d 0a 5c 69 6e 63 | 6c 75 64 65 7b 6f 76 65 |ro}.\inc|lude{ove|
|00000ec0| 72 76 69 65 77 7d 0a 5c | 69 6e 63 6c 75 64 65 7b |rview}.\|include{|
|00000ed0| 62 75 69 6c 74 69 6e 7d | 0a 5c 69 6e 63 6c 75 64 |builtin}|.\includ|
|00000ee0| 65 7b 6d 6f 64 75 6c 65 | 7d 0a 5c 69 6e 63 6c 75 |e{module|}.\inclu|
|00000ef0| 64 65 7b 66 6f 72 65 69 | 67 6e 7d 0a 5c 69 6e 63 |de{forei|gn}.\inc|
|00000f00| 6c 75 64 65 7b 72 75 6e | 74 69 6d 65 7d 0a 5c 61 |lude{run|time}.\a|
|00000f10| 70 70 65 6e 64 69 78 0a | 5c 69 6e 63 6c 75 64 65 |ppendix.|\include|
|00000f20| 7b 68 61 63 6b 7d 0a 5c | 69 6e 63 6c 75 64 65 7b |{hack}.\|include{|
|00000f30| 73 75 6d 6d 61 72 79 7d | 0a 0a 5c 62 69 62 6c 69 |summary}|..\bibli|
|00000f40| 6f 67 72 61 70 68 79 73 | 74 79 6c 65 7b 6e 61 6d |ographys|tyle{nam|
|00000f50| 65 7d 0a 5c 62 69 62 6c | 69 6f 67 72 61 70 68 79 |e}.\bibl|iography|
|00000f60| 7b 70 6c 7d 0a 5c 70 72 | 69 6e 74 69 6e 64 65 78 |{pl}.\pr|intindex|
|00000f70| 0a 0a 5c 65 6e 64 7b 64 | 6f 63 75 6d 65 6e 74 7d |..\end{d|ocument}|
|00000f80| 0a | |. | |
+--------+-------------------------+-------------------------+--------+--------+
